FDL - Nuprl Definition : changed

Nuprl Definition : changed

11,40

x changed before e == isl(change-to(x;e))

clarification:

changed{i:l}(T; eq; es; x; e) == isl(change-to{i:l}(T; eq; es; x; e))

Definitions isl(x), change-to(x;e)

FDL editor aliases changed

Definitions	isl(x), change-to(x;e)
FDL editor aliases	changed